; --- build date:  2013-09-19 10:56
; --- lib version: 1.5.3
PHP_VERSION_TARGET=5.3
EDITION_NAME=opt
ENABLE_PHP_JELIX=0
ENABLE_DEVELOPER=0
ENABLE_OPTIMIZED_SOURCE=1
STRIP_COMMENT=1
SOURCE_REVISION=2956
